Common Belief with the Logic of Individual Belief
نویسندگان
چکیده
The logic of common belief does not always re‡ect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs that are incorporated in axiom 5 for common belief. Mathematics Subject Classi...cation: 03B45, 68T27.
منابع مشابه
On modal logics of group belief
We overview the existing philosophical accounts of group belief, including both aggregative (or reductionist) approaches reducing collective belief to individual beliefs and non-reductionist approaches ascribing beliefs to the group as a whole. We then provide a modal logic of group belief GL that follows a non-reductionist approach. We compare our group belief logic with the well-known logic o...
متن کاملIntersubjective Consistency of Knowledge and Belief
We consider interactive epistemic models where individuals are described by both their “knowledge” and their “beliefs”. Three intersubjective consistency conditions are examined: Intersubjective Caution (if an individual believes something to be common belief then he knows it to be common belief), Truth of Common Belief (only true facts are commonly believed) and Qualitative Agreement. These co...
متن کاملStrong Completeness Theorems for Weak Logics of Common Belief
We show that several logics of common belief and common knowledge are not only complete, but also strongly complete, hence compact. These logics involve a weakened monotonicity axiom, and no other restriction on individual belief. The semantics is of the ordinary fixed-point type.
متن کاملThe inner logic of love (the Phenomenology of the life experience of love)
One of the most important issues in social life, that have been busy human minds in different ways is "romantic relationships." The purpose of this study was explored the life experience of love and discover of its inner logic. For this purpose, with a phenomenological approach, 14 students (Isfahan University and Isfahan University of Technology) who had experienced "love" were interviewed in ...
متن کاملIntuitionistic common knowledge or belief
Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intuitionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 46 شماره
صفحات -
تاریخ انتشار 2000